4

Zur Theorie der konstruktiven Wohlordnungen

Year:
1954
Language:
german
File:
PDF, 1.05 MB
german, 1954
5

Prädikatenlogik mit partiell definierten Funktionen

Year:
1971
Language:
german
File:
PDF, 730 KB
german, 1971
6

Prädikatenlogik mit partiell definierten Funktionen II

Year:
1974
Language:
german
File:
PDF, 516 KB
german, 1974
9

Arithmetical Predicates and Function Quantifiersby S. C. Kleene

Year:
1956
Language:
english
File:
PDF, 364 KB
english, 1956
11

Ein Satz über die Elementar-Arithmetischen Definierbarkeitsklassen

Year:
1956
Language:
german
File:
PDF, 421 KB
german, 1956